Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts

This paper introduces Tezla, an intermediate representation of Michelson smart contracts that eases the design of static smart contract analysers. This intermediate representation uses a store and aims to preserve the semantics, flow and resource usage of the original smart contract. This enables properties like gas consumption to be statically verified. We provide an automated decompiler of Michelson smart contracts to Tezla. In order to support our claim about the adequacy of Tezla, we develop a static analyser that takes advantage of the Tezla representation of Michelson smart contracts to prove simple but non-trivial properties

Renal Function in Suckling and Fasting Pups of the Northern Elephant Seal

Elephant seals fast for prolonged periods without access to water. This is made possible, in part, by reductions in urine production. However, the mechanisms involved in reducing urine production are not understood. In this study, glomerular filtration rate (GFR) was measured in five northern elephant seal pups (Mirounga angustirostris) via the inulin clearance technique. Measurements were made during day 9 and day 18–22 of nursing and the second and eighth week of the postweaning fast. Plasma aldosterone and cortisol concentrations, quantified by radioimmunoassay, were measured in eight other weanlings during the second and eighth week of the fast. Mean GFR was 79.3±29.3 ml/min during the early suckling period and 78.2±17.1, 89.8±52.7, and 80.4±12.2 ml/min during the late suckling, early fasting and late fasting periods, respectively. Differences between nursing and fasting were insignificant, possibly because reduced protein oxidation during suckling and rapid recruitment of protein for tissue synthesis obviated the need for postprandial hyperfiltration. Alternatively, maintenance of GFR during fasting may facilitate urea concentration by compensating for reductions in the fractional excretion of urea. It is further hypothesized that aldosterone is primarily responsible for mediating renal water reabsorption in this system

Angiotensin II and Aldosterone Increase with Fasting in Breeding Adult Male Northern Elephant Seals (Mirounga angustirostris)

The renin‐angiotensin‐aldosterone system (RAAS) appears to contribute significantly to osmoregulation of fasting northern elephant seal (Mirounga angustirostris) pups; however, RAAS has not been characterized in fasting adult seals. Therefore, this study examined the contribution of RAAS to water turnover rates in fasting adult male northern elephant seals. Blood samples were obtained twice during their breeding fast at an interval of 6.5 wk, and water efflux rate was estimated by isotopic dilution during the same period. Serum electrolytes (Na+, K+, Cl−) and osmolality were unaltered between the two sampling periods, indicating ionic and osmotic homeostasis during the fast. Despite the lack of an increase in vasopressin, serum angiotensin II and aldosterone were increased and were significantly and positively correlated. Changes in aldosterone concentration and water efflux rate were significantly and negatively correlated, suggesting that the greater the increase in aldosterone, the smaller the loss of water. Adult male seals maintain ionic and osmotic homeostasis similar to that of fasting weaned pups, and this homeostasis appears to be mediated, at least in part, by RAAS, which probably contributes to increased water retention as well. The hormonal mechanisms by which northern elephant seals maintain water and electrolyte balance during fasting conditions appear to be similar regardless of age

The Purdue University Get Away Special II (PUGAS II)

The Purdue University Get Away Special Project (PUGAS) is a student-run organization dedicated to preparing payloads for flight on NASA's space shuttle. The first such payload (PUGAS I) flew on Challenger in 1983. The second payload (PUGAS II) should be ready by the end of 1988 and will include three experiments. The first experiment will involve the production of tin metal foam under microgravity conditions. The second experiment will focus on the desorption of water from carbon-epoxy composite materials. The third experiment will use a solid polymeric material to detect radiation in space

Line Optical Tweezers Instrument for Measuring Nanoscale Interactions and Kinetics

We describe an optical tweezers instrument for measuring short-ranged colloidal interactions, based on a combination of a continuous wave line optical tweezers, high speed video microscopy, and laser illumination. Our implementation can measure the separation of two nearly contacting microspheres to better than 4 nm at rates in excess of 10 kHz. A simple image analysis algorithm allows us to sensibly remove effects from diffraction blurring and microsphere image overlap for separations ranging from contact to at least 100 nm. The result is a versatile instrument for measuring steric, chemical and single-molecular interactions and dynamics, with a force resolution significantly better than achievable with current atomic force microscopy. We demonstrate the effectiveness of the instrument with measurements of the pair interactions and dynamics of microspheres in the presence of transient molecular bridges of DNA or surfactant micelles

Hormone and Metabolite Changes associated with Extended Breeding Fasts in Male Northern Elephant Seals (Mirounga Angustirostris)

We measured metabolic hormones and several key metabolites in breeding adult male northern elephant seals to examine the regulation of fuel metabolism during extended natural fasts of over 3 months associated with high levels of energy expenditure. Males were sampled twice, early and late in the fast, losing an average of 23% of body mass and 47% of adipose stores between measurements. Males exhibited metabolic homeostasis over the breeding fast with no changes in glucose, non-esterified fatty acids, or blood urea nitrogen. Ketoacids increased over the fast but were very low when compared to other fasting species. Changes within individuals in total triiodothyronine (tT3) were positively related to daily energy expenditure (DEE) and protein catabolism. Differences in levels of thyroid hormones relative to that observed in weaned pups and females suggest a greater deiodination of T4 to support the high DEE of breeding males. Relative levels of leptin and ghrelin were consistent with the suppression of appetite but a significant reduction in growth hormone across the fast was contrary to expectation in fasting mammals. The lack of the increase in cortisol during fasting found in conspecific weaned pups and lactating females may contribute to the ability of breeding males to spare protein despite high levels of energy expenditure. Together these findings reveal significant differences with conspecifics under varying nutrient demands, suggesting metabolic adaptation to extended high energy fasts